D3N: Programming Distributed Computation in Pocket Switched Networks Eiko Yoneki, Ioannis Baltopoulos, and Jon Crowcroft University of Cambridge, Computer Laboratory Cambridge CB3 0FD, United Kingdom

Source URL: conferences.sigcomm.org

Stressing Out: Bitcoin “Stress Testing” Khaled Baqer1 , Danny Yuxing Huang2 , Damon McCoy3 , and Nicholas Weaver4 1 Computer Laboratory, University of Cambridge 2

Source URL: fc16.ifca.ai

Mix-networks with Restricted Routes George Danezis University of Cambridge, Computer Laboratory, William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom.

Source URL: www0.cs.ucl.ac.uk

• Network theory
• Graph theory
• Physics
• Mathematics
• Networks
• Connectivity
• Topology
• Graphical models
• Crowds
• Degree of anonymity

c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219

Source URL: www.cs.ioc.ee

• Logic in computer science
• Programming language semantics
• Models of computation
• Computability theory
• Logic programming
• Substitution
• Operational semantics
• Denotational semantics
• Lambda calculus
• Structure

Cambridge University Press3 - The Rising of the Red Shawls: A Revolt in Madagascar 1895–1899 Stephen Ellis Table of Contents More information

Source URL: assets.cambridge.org

The Physics of Information Technology Neil Gershenfeld revised draft: February 5, 2013 PUBLISHED BY THE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGE

Source URL: fab.cba.mit.edu

Curriculum Vitae: Simon Baron-Cohen Address and contact details Autism Research Centre, Department of Psychiatry, University of Cambridge, Douglas House, 18B Trumpington Road, Cambridge, CB2 8AH, UK. Email sb205@ca

Source URL: docs.autismresearchcentre.com

Accessible Books Consortium (ABC) in a nutshell Objectives: The aim of the Accessible Books Consortium (ABC) is to increase the number of books worldwide in accessible formats (braille, audio and large print) and to mak

Source URL: www.accessiblebooksconsortium.org

• Publishing
• Blindness
• Electronic publishing
• Accessible publishing
• DAISY Digital Talking Book
• Book
• Library
• Large-print
• E-book
• Cambridge University Press
• Self-publishing

Digraph Measures: Kelly Decompositions, Games, and Orderings Paul Hunter Computer Laboratory, University of Cambridge, Cambridge CB3 0FD, UK.

Source URL: logic.las.tu-berlin.de

Multiparty Session Nets Luca Fossati1 , Raymond Hu2 , and Nobuko Yoshida2 1 University of Cambridge, Cambridge, UK Imperial College London, London, UK

Source URL: www.cs.le.ac.uk